verification相关论文
搭载于高分五号卫星平台的大气主要温室气体监测仪(GMI)主要用于测量大气温室气体CO_2和CH_4的柱浓度。为保证GMI遥感数据温室气体......
Development and preliminary verification of the evaluation system for clinical practice guidelines i
...
Stirring uniformity of mixture depends not only on structural parameters of the mixer, motion parameters, but also to a ......
The existing investigations of vehicle ride comfort mainly include motion characteristics analysis based on creating a m......
Based on introduction of the timber legality verification schemes,the article provides a detailed review of existing leg......
In this paper,based on the field-programmable gate array(FPGA)xc5vlx220 of Xilinx Company,the FPGA verification method f......
A novel test approach for interconnect resources (IRs) in field programmable gate arrays (FPGA) has been proposed.In the......
A novel transformer-type variable inductor is proposed to achieve a wide tuning range at frequencies as high as K band.T......
A full W-band low noise amplifier(LNA) module is designed and fabricated. A broadband transition is introduced in this m......
Glutamine synthetase(GS)plays an important role in nitrogen(N)metabolism in cucumber.In this study,we cloned and sequenc......
Article 1 With a view to strengthening the adminis- tration of collection of enterprise income tax,regulating the verifi......
Ensuring the correctness and reliability of large-scale resource sharing and complex job processing is an important task......
Human Wharton’s jelly-derived mesenchymal stem cells(h WJ-MSCs)have excellent proliferative ability,differentiation abi......
形式化方法是计算机系统设计验证的一条有效途径。形式验证(formal verification)作为传统基于模拟的验证方法的补充，成为VLSI(Very......
A structural bionic design process is systematically presented for lightweight mechanical structures.By mimicking biolog......
A dual channel difference (DCD) method is applied to detect nighttime sea fog/stratus over the Huanghai Sea using the in......
The performance of spectral nudging in an investigation of the 2010 East Asia summer monsoon was assessed using the Weat......
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using UPPAAL and Simulink/Sta
Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable trans......
ZooKeeper Atomic Broadcast (Zab) is an atomic broadcast protocol specially designed for ZooKeeper, which supports additi......
In this paper,we propose a method to construct an online/offline batch verification signature scheme in a multi-signer s......
In this paper, we put forward a weak blind quantum signature scheme based on quantum entanglement swapping of Bell state......
A component-based model integration framework for computer numerical control system design and development is presented.......
Objective To verify the health advisory for short-term exposure to phenol. Methods The method of this validation experim......
A mirror box type artificial sky for simulating the CIE standard overcast sky has been designed and constructed,while th......
Spatial and temporal distribution of the cloud optical depth over China based on MODIS satellite dat
The cloud optical depth (COD) is one of the important parameters used to characterize atmospheric clouds. We analyzed th......
本刊讯2012年8月16日，APP位于印尼的Indah Kiat Serang工厂于近日顺利获得木材合法性及认证体系（Wood Legality and Verification Sy......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
目的:探讨实验室信息管理系统(LIMS)的升级及验证在药检机构应用的必要性.方法:在实验室进行LIMS系统的升级并对系统进行验证.结果......
目的 总结分析200例SBRT放疗计划验证结果,分析SBRT计划验证的γ通过率及其影响因素.方法 采用二维和三维探测器矩阵(Mapcheck、瑞......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
目的建立甘草浸膏胶囊微生物限度检查方法,并对方法进行验证。方法依据《中华人民共和国药典》2010年版一部附录XⅢc微生物限度检......
HY-2A is the first one of the Chinese HY-2 ocean satellite series carrying a microwave radiometer(RM) to measure sea sur......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Concurrent programs written in a machine level language are being used in many areas but verification of such programs b......
目的 验证CL925型氯分析仪测定氯化钠含量的方法.方法 进行线性试验、精密度试验、准确性试验及专属性试验比较仪器法和法定方法测......
Objective To verify Working Group for Obesity in China (WGOC) recommended body mass index (BMI) classification reference......
本文总结了"秦山核电厂应急操作规程的分析验证和优化建议"的主要研究成果.基于电厂的实际设计及其参数,对秦山核电厂8个应急操作......
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用．本文提出一种对面向对象软件设计模型的静态结构进......
Todays automation industry is driven by the need for an increased productivity, higher flexibility, and higher individua......
以维吾尔语小学语文教材语料为验证对象,利用从语法语义相结合角度制定的《现代维吾尔语词干词类标注标记集》,对维吾尔语小学语文......
Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typic......
It is important to verify the absence of deadlocks in asynchronous circuits.Much previous work relies on a reachability ......
目的：验证ICP-MS法测定胶囊剂药品中铬含量的方法。方法：考察该方法的线性、精密度、重复性、加样回收率，并将测得结果与药典方法(原......
Since a sensor node handles wireless communication in data transmission and reception and is installed in poor environme......
Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified poin......
本文应用全国、31个省、6个典型地区和16个典型县的数据对粮食估产的“通道-概率模型”进行了系统性的验证和讨论。研究结果如下：（1）......
